#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int n;
void getin() {
	cin >> n;
}

int main() {
	std::ios::sync_with_stdio(false);
	std::cin.tie(nullptr);
	getin();
	int sum = 0;
	for (int i = 0; i <= n; i++) {
		sum += i;
	}
	cout << sum;
	return 0;
}
